projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0a9c444) | patch
tools/ocaml: Drop cpuid helpers
authorAndrew Cooper <andrew.cooper3@citrix.com>
Tue, 28 Jan 2020 15:36:23 +0000 (15:36 +0000)
committerAndrew Cooper <andrew.cooper3@citrix.com>
Mon, 10 Feb 2020 13:09:54 +0000 (13:09 +0000)
commit270ff9a835fb4bcfead85a84d0f384b77bde93c0
treebdf7396d09d22a20f10c53b0f6b8b3b304bc70c0tree | snapshot
parent0a9c44486b901dbcef7c5e583d1a5ffbf4762bc5commit | diff
tools/ocaml: Drop cpuid helpers

These have no callers, and the underlying infrastructure is about to be
rewritten completely.

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Acked-by: Christian Lindig <christian.lindig@citrix.com>
tools/ocaml/libs/xc/xenctrl.ml diff | blob | history
tools/ocaml/libs/xc/xenctrl.mli diff | blob | history
tools/ocaml/libs/xc/xenctrl_stubs.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.